Total Books: 1 - 1 /1
Logic Based Program Synthesis and Transformation (vol. # 3573)
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Continue reading
Total Books: 1 - 1 /1
